Lawrence C. Paulson：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

Don't use scam websites

书籍 (16)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Springer-Verlag Berlin Heidelberg

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)

年:

2002

语言:

english

文件:

PDF, 824 KB

0 / 0

english, 2002

2

Foundations of Computer Science: Computer Science Tripos Part 1a

Foundations of Computer Science: Computer Science Tripos Part 1a

Lawrence C. Paulson

年:

2000

语言:

english

文件:

PDF, 506 KB

0 / 4.5

english, 2000

3

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)

年:

2010

语言:

english

文件:

PDF, 5.20 MB

0 / 5.0

english, 2010

4

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)

年:

2013

语言:

english

文件:

PDF, 4.44 MB

0 / 0

english, 2013

5

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)

年:

2009

语言:

english

文件:

PDF, 15.23 MB

0 / 0

english, 2009

6

Interactive Theorem Proving(2010)

Interactive Theorem Proving(2010)

Matt Kaufmann Lawrence C. Paulson (Eds.)

文件:

PDF, 6.26 MB

0 / 0

7

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)

年:

2009

语言:

english

文件:

PDF, 22.57 MB

0 / 0

english, 2009

8

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)

年:

2013

语言:

english

文件:

PDF, 4.66 MB

0 / 0

english, 2013

9

ML for the Working Programmer

ML for the Working Programmer

Cambridge University Press

Lawrence C. Paulson, Larry C. Paulson

年:

1996

语言:

english

文件:

PDF, 3.58 MB

5.0 / 3.5

english, 1996

10

ML for the working programmer

ML for the working programmer

Cambridge University Press

Lawrence C. Paulson

年:

1996

语言:

english

文件:

DJVU, 2.82 MB

0 / 0

english, 1996

11

Isabelle: A Generic Theorem Prover

Isabelle: A Generic Theorem Prover

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (eds.)

年:

1994

语言:

english

文件:

DJVU, 1.88 MB

0 / 0

english, 1994

12

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe (eds.)

年:

1999

语言:

english

文件:

PDF, 1.37 MB

0 / 0

english, 1999

13

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)

年:

2012

语言:

english

文件:

PDF, 4.35 MB

0 / 0

english, 2012

14

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)

年:

2012

语言:

english

文件:

PDF, 6.52 MB

0 / 0

english, 2012

15

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)

年:

2010

语言:

english

文件:

PDF, 5.26 MB

0 / 0

english, 2010

16

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Lawrence C. Paulson (auth.), Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe (eds.)

年:

1999

语言:

english

文件:

PDF, 2.18 MB

0 / 0

english, 1999